MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

Source URL: www.srl.inf.ethz.ch

• Edsger W. Dijkstra
• Curr
• Algorithm
• Goto
• Programming Language Design and Implementation

Journal of Abnormal Psychology 2003, Vol. 112, No. 3, 457– 468 Copyright 2003 by the American Psychological Association, Inc843X/03/$12.00 DOI: 843X

Source URL: www-stat.wharton.upenn.edu

• Statistics
• Psychiatry
• Hypothesis testing
• Statistical theory
• Psychosis
• Design of experiments
• Machine learning
• Psychiatric diagnosis
• Schizotypy
• Cluster analysis
• Type I and type II errors
• Statistical power

Creating the Illusion of Depth | 1day (all levels) Fusing class- No sewing machine In this workshop you’ll train your eye and sharpen your design ability. Learn how to create the illusion of depth through an architectu

Source URL: esteritaaustin.com

Big Data Small Footprint: The Design of A Low-Power Classifier for Detecting Transportation Modes Meng-Chieh Yu ∗ Tong Yu ∗

Source URL: infolab.stanford.edu

• Statistical classification
• Electromagnetism
• Measuring instruments
• Physics
• Support vector machine
• Statistics
• Gyroscope
• Linear classifier
• Accelerometer
• Fast Fourier transform
• Global Positioning System
• Magnetometer

Field Guides To Ensuring Voter Intent Report to the MacArthur Foundation Center for Civic Design University of Minnesota Humphrey School of Public Affairs Summer 2013

Source URL: civicdesigning.org

• Elections
• Electronic voting
• Postal voting
• Federal Voting Assistance Program
• Ballot
• Voting system
• Provisional ballot
• Absentee ballot
• Voting machine

Barrier-free Design of Shifting Machine for the Physically disabled Zhu-jun Jia a a

Source URL: ergonomics.uq.edu.au

Point Cloud Generation and Stitching for a 3D Machine Vision Reference Design Héctor Hernández, Luis Murphy, Mario Orbegoso, Karla Valcárcel, Roberto Guzmán, Jesús Sánchez Advisors: N. G. Santiago and M. Jiménez U

Source URL: cahsi.cs.utep.edu

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines João Sousa and Alysson Bessani LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Abstract—State machine replica

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Data synchronization
• Network protocols
• Internet protocols
• State machine replication
• Byzantine fault tolerance
• Replication
• Hypertext Transfer Protocol
• Quorum
• WAN optimization
• Latency

Machine Pin Jumper Wires 7ZLQ,QGXVWULHVmachine pin jumper wires are designed for easy insertion and extraction in  Twin Industries solderless breadboards. Robust design supports repeat usage and quick Gesign change

Source URL: www.farnell.com

The Effects of Age on Player Behavior in Educational Games Eleanor O’Rourke, Eric Butler, Yun-En Liu, Christy Ballweber, and Zoran Popovi´c Center for Game Science Department of Computer Science & Engineering, Univers

Source URL: homes.cs.washington.edu

• Flash cartoons
• Gaming
• Video game design
• BrainPop
• Kongregate
• Software
• Item
• Achievement
• Slot machine
• Flash games